例句與造句

1. Propositions in the logical interpretation are now viewed as " types ", and proofs as programs in the lambda calculus.
2. On my Facebook page, I blamed racism for my argument and an Egyptian man wrote to deny that we are racists and used as his proof a program on Egyptian Radio featuring Sudanese songs and poetry!
3. For this reason, the " propositions as types; proofs as programs " paradigm only works in one direction, if at all : interpreting a type theory as a logic generally gives an inconsistent logic.
4. It's difficult to find proofs as programs in a sentence. 用proofs as programs造句挺難的